『Liquid Types』
Rondon, Patrick M., Kawaguci, Ming, Jhala, Ranjit. “Liquid types”. Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation. New York, NY, USA. New York, NY, USA, Association for Computing Machinery, 2008, p. 159–169, (PLDI ’08). https://doi.org/10.1145/1375581.1375602 , (参照 2024-05-11).
1. どんなもの？
Liquid Typesについて
2. 先行研究と比べてどこがすごい？
3. 技術や手法のキモはどこ？
4. どうやって有効だと検証した？
5. 議論はある？
6. 次に読むべき論文は？
DSOLVE
キーワード: D.2.4 [Software Engineering]: Software/Program Verification; F.3.1 [Logics and Meanings of Programs]: Specifying and Verifying and Reasoning about Programs
#プログラム検証 #ソフトウェア検証
table:訳
strongly typed language 強く型付けされた言語
strong static typing 強い静的型付け
type inference 型推論
dependent types 依存型
refinement 詳細化(リファインメント)
確認用
Q.
#論文読み #論文 #文献